- проверка истинности
- test of truth мат.
Русско-английский научно-технический словарь Масловского. 2015.
проверка истинности
Look at other dictionaries:
ПРОВЕРКА ГИПОТЕЗЫ — (hypothesis testing) Проверка того, имеются ли статистические основания не доверять какому либо утверждению. Обычно экономические выводы основываются на фактах, которые могут быть неточными, и на выборках, которые могут быть не полностью… … Экономический словарь
Проверка статистических гипотез — Проверки статистических гипотез один из классов задач в математической статистике. Содержание 1 Статистические гипотезы 1.1 Определения 1.2 Пример … Википедия
Проверка нулевой гипотезы (null hypothesis testing) — Научное исслед. начинается с идеи о том, что определенное утверждение, вероятно, истинно. Это утверждение, независимо от его формы или сложности, наз. первоначальной (исходной) гипотезой. Каждое такое утверждение допускает противоположное… … Психологическая энциклопедия
проверка — сущ., ж., употр. сравн. часто Морфология: (нет) чего? проверки, чему? проверке, (вижу) что? проверку, чем? проверкой, о чём? о проверке; мн. что? проверки, (нет) чего? проверок, чему? проверкам, (вижу) что? проверки, чем? проверками, о чём? о… … Толковый словарь Дмитриева
Значение истинности — Эта страница требует существенной переработки. Возможно, её необходимо викифицировать, дополнить или переписать. Пояснение причин и обсуждение на странице Википедия:К улучшению/20 августа 2012. Дата постановки к улучшению 20 августа 2012 … Википедия
Таможенная проверка — Термин таможенная проверка означает проведение и представление таких особых действий и актов в отношении товаров, как досмотр товаров, проверка полноты и истинности документов, проверка бухгалтерии предприятия или его описи, контроль транспортных … Официальная терминология
ИСТИНА — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной (или просто И.), если она соответствует своему предмету, т.е. представляет его таким, каков он есть на самом деле. Соответственно, ложной… … Философская энциклопедия
ВЕРИФИКАЦИЯ — (этим. см. предыд. сл.). Удостоверение, проверка. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ВЕРИФИКАЦИЯ свидетельство, удостоверение в подлинности. Словарь иностранных слов, вошедших в состав русского языка.… … Словарь иностранных слов русского языка
Конъюнкция — (от лат. conjunctio союз, связь) логическая операция, по своему применению максимально приближённая к союзу и . Синонимы: логическое И , логическое умножение, иногда просто И . Конъюнкция может быть бинарной операцией, то есть, иметь два… … Википедия
Машина вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например:… … Википедия
Машина логического вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… … Википедия
